大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Software Services for e-Business and e-Society [electronic resource] : 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings

0
索取号:
作者:Godart、 Claude.、Gronau、 Norbert.、Sharma、 Sushil.、Canals、 G茅r么me.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2009 [electronic resource] : 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II

0
索取号:
作者:Yang、 Guang-Zhong.、Hawkes、 David.、Rueckert、 Daniel.、Noble、 Alison.、Taylor、 Chris.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2009 [electronic resource] : 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I

0
索取号:
作者:Yang、 Guang-Zhong.、Hawkes、 David.、Rueckert、 Daniel.、Noble、 Alison.、Taylor、 Chris.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

0
索取号:
作者:Ghilardi、 Silvio.、Sebastiani、 Roberto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Foundations of Reuse and Domain Engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

0
索取号:
作者:Edwards、 Stephen H.、Kulczycki、 Gregory.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

0
索取号:
作者:Boer、 Frank S.、Bonsangue、 Marcello M.、Madelaine、 Eric.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Selected Areas in Cryptography [electronic resource] : 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers

0
索取号:
作者:Avanzi、 Roberto Maria.、Keliher、 Liam.、Sica、 Francesco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Process Improvement [electronic resource] : 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings

0
索取号:
作者:O鈥機onnor、 Rory V.、Baddoo、 Nathan.、Cuadrago Gallego、 Juan.、Rejas Muslera、 Ricardo.、Smolander、 Kari.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algorithms - ESA 2009 [electronic resource] : 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings

0
索取号:
作者:Fiat、 Amos.、Sanders、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Foundations of Intelligent Systems [electronic resource] : 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings

0
索取号:
作者:Rauch、 Jan.、Ra艣、 Zbigniew W.、Berka、 Petr.、Elomaa、 Tapio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Algebra in Scientific Computing [electronic resource] : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings

0
索取号:
作者:Gerdt、 Vladimir P.、Mayr、 Ernst W.、Vorozhtsov、 Evgenii V.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

MEGADESIGN and MegaOpt - German Initiatives for Aerodynamic Simulation and Optimization in Aircraft Design [electronic resource] : Results of the closing symposium of the MEGADESIGN and MegaOpt projects, Braunschweig, Germany, 23 - 24 May, 2007

0
索取号:
作者:Kroll、 Norbert.、Schwamborn、 Dieter.、Becker、 Klaus.、Rieger、 Herbert.、Thiele、 Frank.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Shape Interrogation for Computer Aided Design and Manufacturing [electronic resource]

0
索取号:
作者:Patrikalakis、 Nicholas M.、Maekawa、 Takashi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Multiple Criteria Decision Making for Sustainable Energy and Transportation Systems [electronic resource] : Proceedings of the 19th International Conference on Multiple Criteria Decision Making, Auckland, New Zealand, 7th - 12th January 2008

0
索取号:
作者:Ehrgott、 Matthias.、Naujoks、 Boris.、Stewart、 Theodor J.、Wallenius、 Jyrki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

0
索取号:
作者:Gr盲del、 Erich.、Kahle、 Reinhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

The DARPA Urban Challenge [electronic resource] : Autonomous Vehicles in City Traffic

0
索取号:
作者:Buehler、 Martin.、Iagnemma、 Karl.、Singh、 Sanjiv.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类